შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Formal Methods and Models for System Design: A System Level Perspective

Formal Methods and Models for System Design: A System Level Perspective

წელი:
2004
ენა:
english
ფაილი:
PDF, 23.23 MB
0 / 0
english, 2004
2
Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings

Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings

წელი:
2017
ენა:
english
ფაილი:
PDF, 6.54 MB
0 / 0
english, 2017
3
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

წელი:
2010
ენა:
english
ფაილი:
PDF, 4.21 MB
0 / 0
english, 2010